projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e77c2b) | patch
mark unused parameter
authorJoey Hess <joeyh@joeyh.name>
Tue, 4 Mar 2025 19:46:30 +0000 (15:46 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 4 Mar 2025 19:46:30 +0000 (15:46 -0400)
commit17ce1b4e7ba2dfd3344eb175bdaabc869371d53d
tree19c24106d0c7205b29708de9c1d0e75e73b63a8atree | snapshot
parent2e77c2b76250878ea850fc10b478196ecaa2c601commit | diff
mark unused parameter

While unused, it seems to make sense to keep it, since it explains what
the function is doing.
Remote/List/Util.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.